Vers la négociation de contrats dans les composants logiciels hiérarchiques

The contractual approach turns out to be well-suited to specification and verification needs in component-based software systems. However, contracts are frequently challenged by dynamic re-configurations and fluctuations of non functional aspects. To solve this problem, we propose, in this article, a first negotiation model which aims at automatically restoring the validity of contracts. We also describe a concession-based negotiation policy, which is well-suited to behavioral contracts with executable assertions. This model is integrated into ConFract, a contracting system for the Fractal hierarchical component model. MOTS-CLÉS : génie logiciel orienté composant, négociation, contrat, composants hiérarchiques, systèmes multi-agents, Contract-Net Protocol, ConFract, Fractal.